Merge pull request #8042 from micmac1/maria-bump
authorHannu Nyman <[email protected]>
Sun, 27 Jan 2019 18:26:00 +0000 (20:26 +0200)
committerGitHub <[email protected]>
Sun, 27 Jan 2019 18:26:00 +0000 (20:26 +0200)
mariadb: minor version bump + cfg file move


Trivial merge